В Хаскеле есть операции && и || для логических значений. Их тип фиксирован, это (&&), (||) :: Bool -> Bool -> Bool.

В результате те, кому мало Prelude, делают свои классы для своих операций, где те же самые операции уже перегружены по носителю: (&&), (||) :: Constraint f => f Bool -> f Bool -> f BoolИ эти же операции перекрываются с операциями из ( Read more... )

The trick is to let the software do its job without micromanaging it. Focus on what you want to get done rather than the detailed steps of how to get there, and you'll find that it does actually end up being easier and faster.